1. Advances in linear logic
پدیدآورنده : edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1
L56
1995
2. Theorie de la deuxieme microlocalisation dans le domaine complexe
پدیدآورنده : Laurent, Yves
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Functions of several complex variables,، Holomorphic functions,، Differential equations, Partial,، Differential operators
رده :
QA
331
.
L384
1985